| emsoft | participants

André Platzer

Program Committees:
2022
.

EMSOFT 2022: 22nd International Conference on Embedded Software

Verified Train Controllers for the Federal Railroad Administration Train Kinematics Model: Balancing Competing Brake and Track Forces

Aditi Kabra, Stefan Mitsch, and André Platzer

EMSOFT 2021: 21st International Conference on Embedded Software

Structured Proofs for Adversarial Cyber-Physical Systems

Rose Bohrer and André Platzer

EMSOFT 2015: 15th International Conference on Embedded Software

Forward Invariant Cuts to Simplify Proofs of Safety

Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, and Bruce H. Krogh

Formal Verification of ACAS X, an Industrial Airborne Collision Avoidance System

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, and André Platzer